6 Definability of computations (BAPLaCT)